Forschungsdatenbank der Universität in Tübingen

Programmierung

Tel./ Fax.:

• ModAs - Effiziente Implementierung funktionaler Programmiersprachen (1990-92)
• Software-Technik und algebraische Spezifikation (1990-92)

  ---

• Überladene Funktionssymbole und Subtypen in funktionalen Programmiersprachen (1994-96)
• Automatisches Zeichnen von Graphen (1994-96)
• Formale Methoden zur Entwicklung korrekter Software (1994-96)
• Objektorientierte Benutzersicht für ein klinisches Forschungs-Informationssystem (1994-96)
• Funktionale Programmiersprachen (1994-96)
• Programmtransformation durch Spezialisierung (1994-96)

HOME SUCHEN KONTAKT LINKS